/* Pretty printing styles. Used with prettify.js. */
.str {
	color: #2A00FF;
}

.kwd {
	color: #7F0055;
	font-weight: bold;
}

.com {
	color: #3F5FBF;
}

.typ {
	color: #606;
}

.lit {
	color: #066;
}

.pun {
	color: #660;
}

.pln {
	color: #000;
}

.tag {
	color: #008;
}

.atn {
	color: #606;
}

.atv {
	color: #080;
}

.dec {
	color: #606;
}